<?php

	class F {} 
?>
